Binary function - PDFSEARCH.IO - Document Search Engine

Binary function
Results: 315

#	Item
41	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
42	NATIONAL UNIVERSITY OF IRELAND, GALWAY Optimal post processing of AO corrected astronomical images: application to faint companion detection and characterisation Add to Reading List Source URL: optics.nuigalway.ie Language: English - Date: 2011-06-08 04:21:03 Signal processing Speckle imaging Patterns Speckle pattern Adaptive optics Astronomical seeing Point spread function Binary star Wavefront Observational astronomy Optics Astronomy
43	Dynamic Binary Analysis and Instrumentation Covering a function using a DSE approach Jonathan Salwan Security Day Lille – France Add to Reading List Source URL: www.quarkslab.com Language: English - Date: 2015-01-20 04:16:23 Profilers Software Pin Instrumentation KeY Theorem prover Computer programming Computing Software optimization
44	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
45	Chapter 1 Introduction Let f be Boolean function from nite binary strings to the set f0; 1g. The basic question of complexity theory is what computational resources are needed to compute f (x) for an arbitrary n-bit str Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2011-01-05 06:16:54 Circuit complexity Complexity classes Parity function ACC0 Switching lemma NC Clique problem Boolean circuit Circuit Theoretical computer science Computational complexity theory Applied mathematics
46	Index-1 Index absorption law …………………………………………. abs …………………………………………………….. abstract ………………………………………………... Add to Reading List Source URL: www.bluepelicanjava.com Language: English - Date: 2013-07-12 16:05:39 Procedural programming languages Search algorithms C Cross-platform software Hash function Hash table ALGOL 68 Binary tree Pointer Computing Software engineering Computer programming
47	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
48	Adaptive Optics Photometry and Astrometry of Binary Stars. III. A Faint Companion Search of O-Star Systems1 Nils H. Turner, Theo A. ten Brummelaar Center for High Angular Resolution Astronomy, Georgia State University ni Add to Reading List Source URL: ad.usno.navy.mil Language: English - Date: 2014-03-19 08:32:30 Telescopes Adaptive optics Shack–Hartmann wavefront sensor Point spread function Wavefront Astrometry Frame rate Astronomical seeing European Southern Observatory Observational astronomy Optics Speckle imaging
49	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
50	SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Equivalence relation Binary relation Function Total order Selection algorithm Structure Algorithm Genetic algorithm Mathematics Mathematical logic Theoretical computer science